Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 2 of 1256 results
Sort by: relevance publication year
Showing results for ISSN matching 1619-1366

A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties

JOURNAL ARTICLE published August 2023 in Software and Systems Modeling

Research funded by Deutsche Forschungsgemeinschaft (TA 294/18-1)

Authors: Stefan John | Jens Kosiol | Leen Lambers | Gabriele Taentzer

https://doi.org/10.1007/s10270-022-01078-x Actions

Opportunities in intelligent modeling assistance

JOURNAL ARTICLE published September 2020 in Software and Systems Modeling

Authors: Gunter Mussbacher | Benoit Combemale | Jörg Kienzle | Silvia Abrahão | Hyacinth Ali | Nelly Bencomo | Márton Búr | Loli Burgueño | Gregor Engels | Pierre Jeanjean | Jean-Marc Jézéquel | Thomas Kühn | Sébastien Mosser | Houari Sahraoui | Eugene Syriani | Dániel Varró | Martin Weyssow

https://doi.org/10.1007/s10270-020-00814-5 Actions

A lightweight approach to nontermination inference using Constrained Horn Clauses

JOURNAL ARTICLE published April 2024 in Software and Systems Modeling

Authors: Bishoksan Kafle | Graeme Gange | Peter Schachte | Harald Søndergaard | Peter J. Stuckey

https://doi.org/10.1007/s10270-024-01161-5 Actions

P-stable abstractions of hybrid systems

JOURNAL ARTICLE published April 2024 in Software and Systems Modeling

Research funded by Provincia Autonoma di Trento (AI@TN) | NextGenerationEU (FAIR - Future AI Research (PE00000013))

Authors: Anna Becchi | Alessandro Cimatti | Enea Zaffanella

https://doi.org/10.1007/s10270-023-01145-x Actions

Explicit versus implicit models: What are good languages for modeling?

JOURNAL ARTICLE published June 2022 in Software and Systems Modeling

Authors: Jeff Gray | Bernhard Rumpe

https://doi.org/10.1007/s10270-022-01001-4 Actions

A component-based end-to-end simulation of the Linux file system

JOURNAL ARTICLE published October 2013 in Software & Systems Modeling

Authors: Hai Nguyen | Amy Apon

https://doi.org/10.1007/s10270-012-0253-0 Actions

T-Core: a framework for custom-built model transformation engines

JOURNAL ARTICLE published July 2015 in Software & Systems Modeling

Authors: Eugene Syriani | Hans Vangheluwe | Brian LaShomb

https://doi.org/10.1007/s10270-013-0370-4 Actions

Model-driven management of BPMN-based business process families

JOURNAL ARTICLE published December 2022 in Software and Systems Modeling

Research funded by Comisión Sectorial de Investigación Científica (CSIC), Universidad de la República (UdelaR), Uruguay (Project “Generación automática de variantes en f)

Authors: Andrea Delgado | Daniel Calegari | Félix García | Barbara Weber

https://doi.org/10.1007/s10270-022-00985-3 Actions

Synthesis of test scenarios using UML activity diagrams

JOURNAL ARTICLE published February 2011 in Software & Systems Modeling

Authors: Ashalatha Nayak | Debasis Samanta

https://doi.org/10.1007/s10270-009-0133-4 Actions

Generating instance models from meta models

JOURNAL ARTICLE published September 2009 in Software & Systems Modeling

Authors: Karsten Ehrig | Jochen Malte Küster | Gabriele Taentzer

https://doi.org/10.1007/s10270-008-0095-y Actions

SoSyM at 7 years

JOURNAL ARTICLE published February 2009 in Software & Systems Modeling

Authors: Robert France | Bernhard Rumpe | Martin Schindler

https://doi.org/10.1007/s10270-008-0107-y Actions

Special section of BPMDS’2020 business process management meets data

JOURNAL ARTICLE published June 2022 in Software and Systems Modeling

Authors: Pnina Soffer | Selmin Nurcan

https://doi.org/10.1007/s10270-022-00997-z Actions

Guest editorial to the special section on SEFM’22

JOURNAL ARTICLE published 16 April 2024 in Software and Systems Modeling

Authors: Bernd-Holger Schlingloff | Ming Chai

https://doi.org/10.1007/s10270-024-01174-0 Actions

Evaluation of a machine learning classifier for metamodels

JOURNAL ARTICLE published December 2021 in Software and Systems Modeling

Research funded by H2020 LEIT Information and Communication Technologies (732223)

Authors: Phuong T. Nguyen | Juri Di Rocco | Ludovico Iovino | Davide Di Ruscio | Alfonso Pierantonio

https://doi.org/10.1007/s10270-021-00913-x Actions

From misuse cases to mal-activity diagrams: bridging the gap between functional security analysis and design

JOURNAL ARTICLE published February 2014 in Software & Systems Modeling

Authors: Mohamed El-Attar

https://doi.org/10.1007/s10270-012-0240-5 Actions

ExpRunA : a domain-specific approach for technology-oriented experiments

JOURNAL ARTICLE published March 2020 in Software and Systems Modeling

Authors: Eneias Silva | Alessandro Leite | Vander Alves | Sven Apel

https://doi.org/10.1007/s10270-019-00749-6 Actions

A model-driven framework for developing multi-agent systems in emergency response environments

JOURNAL ARTICLE published June 2019 in Software & Systems Modeling

Authors: Samaneh HoseinDoost | Tahereh Adamzadeh | Bahman Zamani | Afsaneh Fatemi

https://doi.org/10.1007/s10270-017-0627-4 Actions

Agile MERODE: a model-driven software engineering method for user-centric and value-based development

JOURNAL ARTICLE published August 2022 in Software and Systems Modeling

Authors: Monique Snoeck | Yves Wautelet

https://doi.org/10.1007/s10270-022-01015-y Actions

On the automated translational execution of the action language for foundational UML

JOURNAL ARTICLE published October 2018 in Software & Systems Modeling

Authors: Federico Ciccozzi

https://doi.org/10.1007/s10270-016-0556-7 Actions

Guest editorial to the special section on MODELS 2018

JOURNAL ARTICLE published July 2020 in Software and Systems Modeling

Authors: Andrzej Wąsowski | Richard F. Paige | Øystein Haugen

https://doi.org/10.1007/s10270-020-00800-x Actions
Feedback: support@crossref.org